%\documentclass[a4paper,twoside,11pt]{report}
\documentclass[a4paper,singleside,11pt]{report}
\usepackage{ia_urb_thesis}
\usepackage[italian]{babel}  
\usepackage[T1]{fontenc}
\usepackage{graphicx}
\usepackage{mathpartir}
\usepackage{stmaryrd}  
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{epsfig}
\usepackage{latexsym}
\usepackage{color}
%% Per il cap2 
\usepackage{listings}
\lstloadlanguages{[Objective]Caml}

\lstdefinestyle{OCAML}
  {language=[Objective]Caml,
   print=true,
   basicstyle=\small\ttfamily,
   commentstyle=\color{lstdarkblue},
   literate= 
   {'_a}{$~\alpha~$?}2
   {'_b}{$~\beta~$?}2
   {'a}{$~\alpha~$}1
   {'b}{$~\beta~$}1
   {'c}{$~\gamma~$}1
   {'d}{$~\delta~$}1
   {'a'}{'a'}3
   {'b'}{'b'}3
   {'c'}{'c'}3
   {<*>}{$\circ$}1
   {\ <*>\ }{ $\circ$ }3
   {|+|}{$~\varoplus~$}1
   {|*|}{$~\varoast~$}1
   {<==}{{$\Leftarrow$}}1
   {<-}{{$~\leftarrow~$}}1
   {->}{$\to$}1
   {\ ->}{ $\to$}3
   {\ ->\ }{ $\to$ }3
   {^}{$\widehat{}$}1
   {\ ^\ }{~$\widehat{}$~}3
   {<=}{{$~\le~$}}1
   {\ <=\ }{ $\le$ }3
   {>=}{{$~\ge~$}}1
   {\ >=\ }{ $\ge$ }3
   {<>}{{$~\ne~$}}1
   {\ <>\ }{ $\ne$ }3
   {||}{{$~\vee~$}}1
   {\ ||\ }{ $\vee$ }3
   {\&\&}{{$~\wedge~$}}1
   {\ \&\&\ }{ $\wedge$ }3,
%   moredelim=[il][\itshape]{\%\ },
   moredelim=[il][\color{lstdarkred}]{\%\%\ },
   moredelim=**[il][\color{lstdarkred}]{\%\ }
%   backgroundcolor=\color{lstbackground}
  }

\lstnewenvironment{Script}
  {\lstset{style=OCAML}
%   \lstset{backgroundcolor=\color{lstbackground}}
  }
  {}

\lstnewenvironment{ScriptMath}
  {\lstset{style=OCAML}
   \lstset{mathescape=true}
  }
  {}

\theoremstyle{definition}
\newtheorem{definition}{Definizione}[chapter]

\newcommand{\InputScript}{\lstinputlisting[style=OCAML,numbers=left,numberstyle=\tiny]}
\newcommand{\Code}{\lstinline[style=OCAML]}
\newcommand{\CodeMath}{\lstinline[style=OCAML, mathescape=true]}
\newcommand{\CodeSpaces}{\lstinline[style=OCAML, showspaces=true]}
\newcommand{\morph}{m^{\phantom{-1}}}
\newcommand{\invmorph}{m^{-1}}

\newcommand{\MathCode}[1]{\text{\Code{#1}}}

\newcommand{\OCaml}{\texttt{OCaml}}
\newcommand{\tunit}{\mathtt{unit}}
\newcommand{\tint}{\mathtt{int}}
\newcommand{\tstring}{\mathtt{string}}
\newcommand{\tchar}{\mathtt{char}}
\newcommand{\tbool}{\mathtt{bool}}
\newcommand{\tfloat}{\mathtt{float}}
\newcommand{\tlist}{\mathtt{list}}
\newcommand{\vtrue}{\mathit{true}}
\newcommand{\vfalse}{\mathit{false}}
\newcommand{\fv}{\mathit{fv}}
\newcommand{\subst}[2]{\{#1/#2\}}
\newcommand{\sequence}[1]{(#1_1,\dots,#1_n)}
\newcommand{\eq}{\simeq}
\newcommand{\ctype}{T}
\newcommand{\atype}{\tau}
\newcommand{\field}{f}
\newcommand{\varfield}{g}
\newcommand{\ctor}{C}
\newcommand{\varctor}{D}
\newcommand{\tvar}{\alpha}
\newcommand{\vartvar}{\beta}
\newcommand{\tref}{R}
\newcommand{\env}{\mathcal{E}}
\newcommand{\tabstract}{\mathtt{abstract}}

\newcommand{\trans}[2]{\llbracket#1\rrbracket#2}
%%%%%%%%%%%%%%%%%%%%
\usepackage{float}
\floatstyle{ruled}
\newfloat{program}{h}{lop}
\floatname{program}{Codice}
	
\begin{document}

\titolo{"Misura della similarit\`a\\[5mm] di programmi funzionali \\[5mm]mediante isomorfismi di tipi"}

\candidato{Filippo Silvestri}
\relatore{Chiar.mo Dott.~Luca Padovani}
\annoaccademico{2008-2009}

\copertinatesi 
\dedica{Alla mia famiglia e\\ a Laura Giorgi}
\indice
\indicefigure
%\indicetabelle
\iniziatesto

\include{cap1}
\include{cap2}
\include{cap3}
\include{cap4}

%\appendix
%\include{app_a}
%\include{biblio}

\ringraziamenti
Un ringraziamento sentito va al Chiar.mo Dott. Luca Padovani non esclusivamente per il supporto offertomi nella creazione di questa tesi di laurea tanto pi\`u per essere riuscito a trasmettere la passione per la programmazione in genere, requisito fondamentale per poter creare ottimi progetti. 
Grazie anche a tutti gli insegnanti che hanno contribuito alla creazione di un bagaglio di conoscenze di cui sono orgoglioso.


\nocite{*}
\bibliographystyle{plain}
\bibliography{biblio}
\end{document}
